Struct isotope::primitive::logical::FALSE [−][src]
pub struct FALSE { /* fields omitted */ }
Expand description
The constant false
, with the default type
Methods from Deref<Target = TermId>
Convert this TermId
to an abstract syntax tree in the given context with it’s annotation
Convert a term to it’s prettyprinted string
Convert a term to it’s prettyprinted string for debugging